propositional calculus - German English Dictionary